On a series of finite automata defining free transformation groups
نویسندگان
چکیده
منابع مشابه
On a series of finite automata defining free transformation groups
We introduce two series of finite automata starting from the socalled Aleshin and Bellaterra automata. We prove that each automaton in the first series defines a free non-Abelian group while each automaton in the second series defines the free product of groups of order 2. Furthermore, these properties are shared by disjoint unions of any number of distinct automata from either series.
متن کاملFinite automata for Schreier graphs of virtually free groups
The Stallings construction for f.g. subgroups of free groups is generalized by introducing the concept of Stallings section, which allows an efficient computation of the core of a Schreier graph based on edge folding. It is proved that those groups admitting Stallings sections are precisely f.g. virtually free groups, through a constructive approach based on Basse-Serre theory. Complexity issue...
متن کاملFinite Automata Presentable Abelian Groups
We give new examples of FA presentable torsion-free abelian groups. Namely, for every n > 2, we construct a rank n indecomposable torsion-free abelian group which has an FA presentation. We also construct an FA presentation of the group (Z,+) in which every nontrivial cyclic subgroup is not FA recognizable.
متن کاملExtended finite automata over groups
Some results from Dassow and Mitrana (Internat. J. Comput. Algebra (2000)), Griebach (Theoret. Comput. Sci. 7 (1978) 311) and Ibarra et al. (Theoret. Comput. Sci. 2 (1976) 271) are generalized for finite autómata over arbitrary groups. The closure properties of these autómata are poorer and the accepting power is smaller when abelian groups are considered. We prove that the addition of any abel...
متن کاملVarieties in Finite Transformation Groups
The equivariant cohomology ring of a G-space X defines a homogeneous affine variety. Quillen [Q] and W. Y. Hsiang [Hs] have determined the relation between such varieties and the family of isotropy subgroups as well as their fixed point sets when dim X < oo. In modular representation theory, J. Carlson [Cj] introduced cohomological support varieties and rank varieties (the latter depending on t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Groups, Geometry, and Dynamics
سال: 2010
ISSN: 1661-7207
DOI: 10.4171/ggd/87